VDict mobile



distributed backtracking not found. Suggestions:

Distributed Logic Programming
Delta-Prolog
backtracking
Screamer
deterministic
intelligent backtracking
distributed system
Distributed Eiffel
Trilogy
DLM